$\vdash$  ($\cap$$x$:Void.Void) $\in$ Type